-
1 primitive recursive
Большой англо-русский и русско-английский словарь > primitive recursive
-
2 primitive recursive
-
3 primitive recursive
Математика: примитивно рекурсивный -
4 primitive recursive
-
5 primitive recursive function
примитивно рекурсивная схема
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > primitive recursive function
-
6 primitive recursive scheme
Большой англо-русский и русско-английский словарь > primitive recursive scheme
-
7 primitive recursive arithmetic
Математика: примитивно рекурсивная арифметикаУниверсальный англо-русский словарь > primitive recursive arithmetic
-
8 primitive recursive derivation
Математика: примитивно рекурсивный выводУниверсальный англо-русский словарь > primitive recursive derivation
-
9 primitive recursive description
Математика: примитивно рекурсивное описаниеУниверсальный англо-русский словарь > primitive recursive description
-
10 primitive recursive equality
Математика: примитивно рекурсивное равенствоУниверсальный англо-русский словарь > primitive recursive equality
-
11 primitive recursive function
1) Компьютерная техника: примитивная рекурсивная функция2) Вычислительная техника: примитивно-рекурсивная функцияУниверсальный англо-русский словарь > primitive recursive function
-
12 primitive recursive number
Математика: примитивно рекурсивное числоУниверсальный англо-русский словарь > primitive recursive number
-
13 primitive recursive ordering
Математика: примитивно рекурсивное упорядочениеУниверсальный англо-русский словарь > primitive recursive ordering
-
14 primitive recursive predicate
Математика: примитивно рекурсивный предикатУниверсальный англо-русский словарь > primitive recursive predicate
-
15 primitive recursive scheme
1) Математика: примитивно рекурсивная схема2) Логика: примитивно-рекурсивная схемаУниверсальный англо-русский словарь > primitive recursive scheme
-
16 primitive recursive term
Математика: примитивно рекурсивный терминУниверсальный англо-русский словарь > primitive recursive term
-
17 primitive recursive transcendence
Математика: примитивно рекурсивная трансцендентностьУниверсальный англо-русский словарь > primitive recursive transcendence
-
18 primitive recursive scheme
лог. примитивно-рекурсивная схемаEnglish-Russian dictionary of computer science and programming > primitive recursive scheme
-
19 primitive recursive arithmetic
English-Russian scientific dictionary > primitive recursive arithmetic
-
20 primitive recursive derivation
матем.English-Russian scientific dictionary > primitive recursive derivation
См. также в других словарях:
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
primitive recursive — adjective Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion … Wiktionary
Recursive — may refer to:*Recursion *Recursively enumerable language *Recursively enumerable set *Recursive filter *Recursive function *Recursive language *Recursive acronym *Recursive set *Primitive recursive function … Wikipedia
recursive — A procedure that is applied once, and then applied to the result of that application, and so on. A recursive definition (definition by induction) defines the result of some operation for 0, and then the result for any number n + 1 in terms of the … Philosophy dictionary
Recursive set — In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set. A more… … Wikipedia
Recursive categorical syntax — Recursive categorical syntax, also sometimes called algebraic syntax, is an algebraic theory of syntax developed by Michael Brame as an alternative to transformational generative grammar. It is a type of dependency grammar, and is related to link … Wikipedia
Recursive function — may refer to: Recursion (computer science), a procedure or subroutine, implemented in a programming language, whose implementation references itself A total computable function, a function which is defined for all possible inputs See also μ… … Wikipedia
Récursive — Récursif Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia